1. Constraint-based verification

by Yuan, Jun | Aziz, Adnan | Pixley, Carl.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 005.115 YUA] (1).
2. Digital Electronics

by Gothmann, William H.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Prentice Hall of India, 2002Availability: Items available for loan: [Call number: 621.381 GOT] (1).
3. FSM-based digital design using Verilog HDL

by Minns, Peter | Elliott, Ian D.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Chichester: John Wiley & Sons, 2008Availability: Items available for loan: [Call number: 004.33 MIN] (1). Checked out (1).

Powered by Koha